Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
251	Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:59 Computing Computer programming Concurrency control Software engineering Software design patterns Concurrency Edsger W. Dijkstra Concurrent computing Synchronization Thread-local storage Java memory model Thread
252	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing
253	Reconsidering Classes in Procedural Object-Oriented Code Accepted to WCRE’2008 Muhammad Usman BHATTI1 St´ephane DUCASSE2 Marianne HUCHARD3 1 CRI - Univ. Paris 1 Sorbonne, France Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Software engineering Object-oriented programming Computing Computer programming Class Object Method Inheritance Software design pattern This C Sharp Programming paradigm
254	Microsoft Word - 14088966_5_OZ SpA - Code of Ethics - 11 JuneE.doc Add to Reading List Source URL: www.ozracing.uk Language: English - Date: 2015-12-11 04:07:43 Software engineering Computer programming Computing Oz Regular expression Bassano del Grappa
255	Where engineering meets ingenuity… Technology Service Corporation (TSC), an employee-owned systems engineering firm, has several engineering positions available in our in Silver Spring, MD location. TSC performs design Add to Reading List Source URL: www.tsc.com Language: English - Date: 2015-03-31 15:35:31 Software Computing Computer programming Technology Service Corporation Radar TSC Qt
256	Enjoy reading the January issue of the HP-39/40g newsletter! In this issue we will talk about: . Add to Reading List Source URL: www.hphomeview.com Language: English Computing Software engineering Graphing calculators Computer programming HP 39/40 series RPL Calculator Hewlett-Packard APL HP 49/50 series
257	Typestate and Session Types for Java Dimitris Kouzapas Department of Computing Science, University of Glasgow January 13, 2014 Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-13 09:57:45 Software engineering Computing Computer programming Object-oriented programming languages Java Cross-platform software Concurrent programming languages Entry point Scripting language D Generics in Java
258	Designing a verifying compiler: Lessons learned from developing Whiley Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-11-05 20:25:54 Software engineering Computer programming Computing Data types Functional languages Type theory Procedural programming languages Whiley C++ Const Recursion Java bytecode
259	Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Functional languages Programming idioms Recursion Theoretical computer science Functional programming Monad Lisp F Sharp Equation solving Exponentiation
260	Alias Analysis for Assembly David Brumley and James Newsome December 15, 2006 CMU-CS-06-180R Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Computer architecture Software engineering Programming language implementation Alias analysis Static program analysis Minicomputers X86 assembly language Program counter Assembly language PDP-8 Random-access machine

UPDATE